- правило перестановки посылок
- mathrègle de permutation des prémisses
Русско-французский политехнический словарь. 2013.
правило перестановки посылок
Regardez d'autres dictionnaires:
НАТУРАЛЬНОЕ ИСЧИСЛЕНИЕ — (исчисление естественного в ы в о д а) – общее название логич. исчислений [введенных и впервые описанных нем. логиком и математиком Г. Генценом (1934) и польским логиком С. Яськовским (1934) с целью формализации процесса логич. вывода ], более… … Философская энциклопедия
Натуральное исчисление — исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического … Большая советская энциклопедия
Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… … Энциклопедия эпистемологии и философии науки
Силлогизм — умозаключение, в котором на основании нескольких суждений с необходимостью выводится новое суждение, называемое заключением. В отличие от С., как умозаключения посредственного, непосредственным умозаключением называется то, в котором заключение… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
вывод логический — рассуждение, в ходе которого из к. л. исходных суждений посылок с помощью логических правил получают заключение новое суждение. Напр., из суждений Все люди смертны и Кай человек мы можем вывести с помощью правил простого категорического… … Словарь терминов логики
История почты и почтовых марок Ирака — Республика Ирак араб … Википедия
